A Course on Mathematical Logic
This is a short, distinctive, modern, and motivated introduction to mathematical logic for senior undergraduate and beginning ...
Lire la suite
Finite Model Theory
The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of ...
Lire la suite
Finite Model Theory
The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of ...
Lire la suite
Foundations of Information and Knowledge Systems
This book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge ...
Lire la suite
Institution-independent Model Theory
A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. ...
Lire la suite
Logica Universalis
The book signifies the arrival of a new renaissance in logic, a new revival not only of logic, but of the vision of logic ...
Lire la suite
Logica Universalis : Towards a General Theory of Logic
Modern logic has been intimately connected with algebra since its origins in figures such as Boole, De Morgan, and Peirce. ...
Lire la suite
New Computational Paradigms : Changing Conceptions of What is Computable
This book examines new developments in the theory and practice of computation from a mathematical perspective, with topics ...
Lire la suite
Nonstandard Analysis
The book is an introduction with emphasis on those more advanced applications in analysis which are hardly accessible by ...
Lire la suite
Processes, Terms and Cycles: Steps on the Road to Infinity
Dedicated to Jan Willem Klop, this volume comprises a total of 23 scientific papers by his close friends and colleagues. ...
Lire la suite
Propositional and Predicate Calculus: A Model of Argument
The topics in the book include: - the representation of mathematical statements by formulas in a formal language. - the interpretation ...
Lire la suite
Structural Theory of Automata, Semigroups, and Universal Algebra
Several of the contributions to this volume bring forward many mutually beneficial interactions and connections between the ...
Lire la suite
